5 results for Helmut Veith
-
Anchor for 1 page of results
-
-
-
-
Computer Aided Verification
Paperback
Published 04 Jul 2013 -
Handbook of Model Checking
Paperback
Published 14 Nov 2020